Discrete Mathematics Two useful principles
نویسنده
چکیده
I have 50 pairs of socks of which 30 are black and 35 are cotton. How many pairs of socks are black and cotton? If I call the set of black socks A and the set of cotton socks B, we are looking at |A ∩ B|. It is not hard to see that: |A ∪ B| = |A| + |B| − |A ∩ B| because every element that belongs to both A and B is counted twice by |A|+|B|, so we subtract the size of the intersection once. Therefore, there are 30+3550=15 socks that are black and cotton. Note that this assumes that I don’t have any red socks for instance. Otherwise, the best claim we can make is that we have at least 15 socks and that black and cotton (because |A∪B| would be less or equal to 50 and not exactly 50). The formula above represents the simplest form of the inclusion-exclusion principle. We first include the contribution of each set, then we exclude the contribution of their intersection. Here’s another example: at a party of 12 people, each person knows at least m others. How large must m be to guarantee that we can find three people that know each other? Observe that when m = 6 there is no such guarantee because it is possible to have two groups of size 6 where knowledge is across groups only. What if m > 6? Here’s a proof that this is sufficient. Pick any person p1 and let S1 be the set of people known to p1. Now |S1| > 6, so pick a person in S1, say p2, and let S2 be the set of people known to p2. Note that |S2| > 6 also. If we can prove that S1 ∩ S2 is not empty, then we find a person known to p1 and p2 and we are done. Now |S1| > 6, |S2| > 6, and |S1 ∪ S2| ≤ 12. Therefore, |S1 ∩ S2| = |S1| + |S2| − |S1 ∪ S2| > 6 + 6 − 12 = 0
منابع مشابه
Prey-Predator System; Having Stable Periodic Orbit
The study of differential equations is useful in to analyze the possible past or future with help of present information. In this paper, the behavior of solutions has been analyzed around the equilibrium points for Gause model. Finally, some results are worked out to exist the stable periodic orbit for mentioned predator-prey system.
متن کاملNumerical algorithm for discrete barrier option pricing in a Black-Scholes model with stationary process
In this article, we propose a numerical algorithm for computing price of discrete single and double barrier option under the emph{Black-Scholes} model. In virtue of some general transformations, the partial differential equations of option pricing in different monitoring dates are converted into simple diffusion equations. The present method is fast compared to alterna...
متن کاملFINITE-TIME PASSIVITY OF DISCRETE-TIME T-S FUZZY NEURAL NETWORKS WITH TIME-VARYING DELAYS
This paper focuses on the problem of finite-time boundedness and finite-time passivity of discrete-time T-S fuzzy neural networks with time-varying delays. A suitable Lyapunov--Krasovskii functional(LKF) is established to derive sufficient condition for finite-time passivity of discrete-time T-S fuzzy neural networks. The dynamical system is transformed into a T-S fuzzy model with uncertain par...
متن کاملBasic Counting
One way to formally introduce counting principles is through countable sets, the cardinality of these sets, operations among sets, mappings between these sets and formal power series. We follow a high-level approach (also adopted in most introductory textbooks in Discrete Mathematics) as long it is well understood how we can technically formalize the arguments. Working from basic principles and...
متن کاملMathematical Principles in Software Quality Engineering
Mathematics has many useful properties for developing of complex software systems. One is that it can exactly describe a physical situation of the object or outcome of an action. Mathematics support abstraction and this is an excellent medium for modeling, since it is an exact medium there is a little possibility of ambiguity. This paper demonstrates that mathematics provides a high level of va...
متن کاملLinear discrete-time Pareto-Nash-Stackelberg control problem and principles for its solving
A direct-straightforward method for solving linear discretetime optimal control problem is applied to solve control problem of a linear discrete-time system as a mixture of multicriteria Stackelberg and Nash games. For simplicity, the exposure starts with the simplest case of linear discrete-time optimal control problem and, by sequential considering of more general cases, investigation finaliz...
متن کامل